11![To appear in Express’99. Available online from http://www.cl.cam.ac.uk/∼ljw1004 Symmetric action calculi Lucian J. Wischik and Philippa Gardner, May 1999 To appear in Express’99. Available online from http://www.cl.cam.ac.uk/∼ljw1004 Symmetric action calculi Lucian J. Wischik and Philippa Gardner, May 1999](https://www.pdfsearch.io/img/d31858d8ff7ed72618e8f80879a21430.jpg) | Add to Reading ListSource URL: www.wischik.comLanguage: English - Date: 2001-08-20 15:53:14
|
---|
12![Monitors and Blame Assignment for Higher-Order Session Types Limin Jia Hannah Gommerstadt Monitors and Blame Assignment for Higher-Order Session Types Limin Jia Hannah Gommerstadt](https://www.pdfsearch.io/img/b07b8d47191302ac89f55ef77225f7d4.jpg) | Add to Reading ListSource URL: www.andrew.cmu.eduLanguage: English - Date: 2016-01-24 20:37:43
|
---|
13![Combining CSP and B for Specification and Property Verification⋆ Michael Butler1 and Michael Leuschel1,2 1 2 Combining CSP and B for Specification and Property Verification⋆ Michael Butler1 and Michael Leuschel1,2 1 2](https://www.pdfsearch.io/img/ce892288049dec59c6ea25ff8925ad53.jpg) | Add to Reading ListSource URL: rodin.cs.ncl.ac.ukLanguage: English - Date: 2007-11-21 11:00:56
|
---|
14![to appear in TCS – www.wischik.com/lu/research/explicit-fusions.html Explicit Fusions Lucian Wischik1 and Philippa Gardner2 1 2 to appear in TCS – www.wischik.com/lu/research/explicit-fusions.html Explicit Fusions Lucian Wischik1 and Philippa Gardner2 1 2](https://www.pdfsearch.io/img/ae1fe39795a30c6678f9ffd823a3fdd9.jpg) | Add to Reading ListSource URL: www.wischik.comLanguage: English - Date: 2004-02-23 13:34:35
|
---|
15![Introduction Markovian Foundations Applications Introduction Markovian Foundations Applications](https://www.pdfsearch.io/img/15a87108da5266b04b2e1f882cd24221.jpg) | Add to Reading ListSource URL: homepages.inf.ed.ac.ukLanguage: English - Date: 2009-03-30 16:35:02
|
---|
16![The Compositional Speci
cation of Timed Systems A Tutorial Joseph Sifakis The Compositional Speci
cation of Timed Systems A Tutorial Joseph Sifakis](https://www.pdfsearch.io/img/20f6f0799858b5cd45cacf3d37af08c0.jpg) | Add to Reading ListSource URL: www-verimag.imag.frLanguage: English - Date: 2012-12-31 04:25:31
|
---|
17![Making stochastic process algebras count — Jane Hillston Making Stochastic Process Algebras Count: Modelling Collective Dynamics Jane Hillston Laboratory for Foundations of Computer Science Making stochastic process algebras count — Jane Hillston Making Stochastic Process Algebras Count: Modelling Collective Dynamics Jane Hillston Laboratory for Foundations of Computer Science](https://www.pdfsearch.io/img/0b0e1457de1a9ca3598b4b771aa200f6.jpg) | Add to Reading ListSource URL: homepages.inf.ed.ac.ukLanguage: English - Date: 2010-11-25 05:29:57
|
---|
18![Introduction Bio-PEPA: Syntax and semantics Model Analysis Introduction Bio-PEPA: Syntax and semantics Model Analysis](https://www.pdfsearch.io/img/13af49851a0d01d1ac6d8071781b9691.jpg) | Add to Reading ListSource URL: homepages.inf.ed.ac.ukLanguage: English - Date: 2009-03-02 10:57:34
|
---|
19![• Paper at Concur 2002 wischik.com/lu/research/ A simple, distributed implementation of the pi-calculus, using explicit fusions • Paper at Concur 2002 wischik.com/lu/research/ A simple, distributed implementation of the pi-calculus, using explicit fusions](https://www.pdfsearch.io/img/6c1285783a2e555e01c70c7daf880a5a.jpg) | Add to Reading ListSource URL: www.wischik.comLanguage: English - Date: 2002-07-22 03:56:39
|
---|
20![SPA — From Individuals to Populations Stochastic Process Algebras — From Individuals to Populations Jane Hillston Laboratory for Foundations of Computer Science SPA — From Individuals to Populations Stochastic Process Algebras — From Individuals to Populations Jane Hillston Laboratory for Foundations of Computer Science](https://www.pdfsearch.io/img/030e492269505b8a42fcad3fd1b9c88a.jpg) | Add to Reading ListSource URL: homepages.inf.ed.ac.ukLanguage: English - Date: 2011-02-28 06:04:18
|
---|